Behaviour-Interaction-Priority in Functional Programming Languages Formalisation and Implementation of Concurrency Frameworks in Haskell and Scala

Acknowledgements First of all, I would like to thank my family. Without your endless support and care, this work would not have seen the light of day. Thank you for providing me with a very supportive environment! I would also like to thank Prof. Sifakis and Dr. Bliudze, with whom I had very insightful discussions. I would also like to thank them for giving me the opportunity to take part in the Research Scholar program at EPFL and work at the RiSD laboratory prior to this thesis. This whole experience has been very instructive to me. Obviously, this work would not have been possible without this great opportunity that was offered to me. Finally, I would like to thank my partner in life, Naomi, who had to put up with me throughout my studies at EPFL. Naomi, thank you very much for your patience, attention and love!